English-Italian translations for heyting algebra

Definition of heyting algebra

  • A bounded lattice, ''L'', modified to serve as a model for a logical calculus by being equipped with a binary operation called "implies", denoted , defined such that ∧''a'≤ ''b'and, moreover, that ''x'= ''a''→''b'is the ''greatest'element such that ''x''∧''a'≤ ''b'(in the sense that if ''c''∧''a'≤ ''b'then ''c'≤ ''a''→''b''

Related words

Trending Searches

Popular Dictionaries

DictionaryPro.net

DictionaryPro.net is a free online dictionary with more than 14 million translations.

Terms of Use   Privacy Policy   Cookies   Contact Us

Auf DeutschEn españolPå svenskaSuomeksiEestikeelne

Mindmax
Content is based on Wiktionary articles.
Text is available under Creative Commons Attribution-ShareAlike license.
© 2004-2024 DictionaryPro.net